Nuprl Definition : R-loc 11,40

R-loc(R)
== es_realizer_ind(R;
== es_realizer_ind(;
== es_realizer_ind(left,right,rec1,rec2.;
== es_realizer_ind(loc,T,x,v.loc;
== es_realizer_ind(loc,T,x,L.loc;
== es_realizer_ind(lnk,tag,L.source(lnk);
== es_realizer_ind(loc,ds,knd,T,x,f.loc;
== es_realizer_ind(ds,knd,T,l,dt,g.source(l);
== es_realizer_ind(loc,ds,a,T,P.loc;
== es_realizer_ind(loc,k,L.loc;
== es_realizer_ind(loc,k,L.loc;
== es_realizer_ind(loc,x,L.loc
latex


Definitionssource(l), , es realizer ind
FDL editor aliasesR-loc

origin